<!DOCTYPE html>
<html lang="zh" dir="ltr" class="client-nojs">
<head>
<title>标准库头文件 &lt;functional&gt;</title>
<meta charset="UTF-8">
<meta name="generator" content="MediaWiki 1.21.2">
<link rel="shortcut icon" href="../../../common/favicon.ico">
<link rel="stylesheet" href="../../../common/ext.css">
<meta name="ResourceLoaderDynamicStyles" content="">
<link rel="stylesheet" href="../../../common/site_modules.css">
<style>a:lang(ar),a:lang(ckb),a:lang(fa),a:lang(kk-arab),a:lang(mzn),a:lang(ps),a:lang(ur){text-decoration:none}#toc{display:none}.editsection{display:none}
/* cache key: mwiki1-mwiki_zh_:resourceloader:filter:minify-css:7:15cea3ec788a65b5187d4018eed543bf */</style>

<script src="../../../common/startup_scripts.js"></script>
<script>if(window.mw){
mw.config.set({"wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"cpp/header/functional","wgTitle":"cpp/header/functional","wgCurRevisionId":62577,"wgArticleId":9591,"wgIsArticle":true,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":[],"wgBreakFrames":false,"wgPageContentLanguage":"zh","wgSeparatorTransformTable":["",""],"wgDigitTransformTable":["",""],"wgDefaultDateFormat":"zh","wgMonthNames":["","1月","2月","3月","4月","5月","6月","7月","8月","9月","10月","11月","12月"],"wgMonthNamesShort":["","1月","2月","3月","4月","5月","6月","7月","8月","9月","10月","11月","12月"],"wgRelevantPageName":"cpp/header/functional","wgUserVariant":"zh","wgRestrictionEdit":[],"wgRestrictionMove":[]});
}</script><script>if(window.mw){
mw.loader.implement("user.options",function(){mw.user.options.set({"ccmeonemails":0,"cols":80,"date":"default","diffonly":0,"disablemail":0,"disablesuggest":0,"editfont":"default","editondblclick":0,"editsection":0,"editsectiononrightclick":0,"enotifminoredits":0,"enotifrevealaddr":0,"enotifusertalkpages":1,"enotifwatchlistpages":0,"extendwatchlist":0,"externaldiff":0,"externaleditor":0,"fancysig":0,"forceeditsummary":0,"gender":"unknown","hideminor":0,"hidepatrolled":0,"imagesize":2,"justify":0,"math":1,"minordefault":0,"newpageshidepatrolled":0,"nocache":0,"noconvertlink":0,"norollbackdiff":0,"numberheadings":0,"previewonfirst":0,"previewontop":1,"quickbar":5,"rcdays":7,"rclimit":50,"rememberpassword":0,"rows":25,"searchlimit":20,"showhiddencats":0,"showjumplinks":1,"shownumberswatching":1,"showtoc":0,"showtoolbar":1,"skin":"cppreference2","stubthreshold":0,"thumbsize":2,"underline":2,"uselivepreview":0,"usenewrc":0,"watchcreations":0,"watchdefault":0,"watchdeletion":0,
"watchlistdays":3,"watchlisthideanons":0,"watchlisthidebots":0,"watchlisthideliu":0,"watchlisthideminor":0,"watchlisthideown":0,"watchlisthidepatrolled":0,"watchmoves":0,"wllimit":250,"variant":"zh","language":"zh","searchNs0":true,"searchNs1":false,"searchNs2":false,"searchNs3":false,"searchNs4":false,"searchNs5":false,"searchNs6":false,"searchNs7":false,"searchNs8":false,"searchNs9":false,"searchNs10":false,"searchNs11":false,"searchNs12":false,"searchNs13":false,"searchNs14":false,"searchNs15":false,"gadget-MathJax":1,"gadget-ColiruCompiler":1});;},{},{});mw.loader.implement("user.tokens",function(){mw.user.tokens.set({"editToken":"+\\","patrolToken":false,"watchToken":false});;},{},{});
/* cache key: mwiki1-mwiki_zh_:resourceloader:filter:minify-js:7:258d7cd6aa9aa67dee25e01fb6a9e505 */
}</script>
<script>if(window.mw){
mw.loader.load(["mediawiki.page.startup","mediawiki.legacy.wikibits","mediawiki.legacy.ajax"]);
}</script>
<style type="text/css">/*<![CDATA[*/
.source-cpp {line-height: normal;}
.source-cpp li, .source-cpp pre {
	line-height: normal; border: 0px none white;
}
/**
 * GeSHi Dynamically Generated Stylesheet
 * --------------------------------------
 * Dynamically generated stylesheet for cpp
 * CSS class: source-cpp, CSS id: 
 * GeSHi (C) 2004 - 2007 Nigel McNie, 2007 - 2008 Benny Baumann
 * (http://qbnz.com/highlighter/ and http://geshi.org/)
 * --------------------------------------
 */
.cpp.source-cpp .de1, .cpp.source-cpp .de2 {font: normal normal 1em/1.2em monospace; margin:0; padding:0; background:none; vertical-align:top;}
.cpp.source-cpp  {font-family:monospace;}
.cpp.source-cpp .imp {font-weight: bold; color: red;}
.cpp.source-cpp li, .cpp.source-cpp .li1 {font-weight: normal; vertical-align:top;}
.cpp.source-cpp .ln {width:1px;text-align:right;margin:0;padding:0 2px;vertical-align:top;}
.cpp.source-cpp .li2 {font-weight: bold; vertical-align:top;}
.cpp.source-cpp .kw1 {color: #0000dd;}
.cpp.source-cpp .kw2 {color: #0000ff;}
.cpp.source-cpp .kw3 {color: #0000dd;}
.cpp.source-cpp .kw4 {color: #0000ff;}
.cpp.source-cpp .co1 {color: #909090;}
.cpp.source-cpp .co2 {color: #339900;}
.cpp.source-cpp .coMULTI {color: #ff0000; font-style: italic;}
.cpp.source-cpp .es0 {color: #008000; font-weight: bold;}
.cpp.source-cpp .es1 {color: #008000; font-weight: bold;}
.cpp.source-cpp .es2 {color: #008000; font-weight: bold;}
.cpp.source-cpp .es3 {color: #008000; font-weight: bold;}
.cpp.source-cpp .es4 {color: #008000; font-weight: bold;}
.cpp.source-cpp .es5 {color: #008000; font-weight: bold;}
.cpp.source-cpp .br0 {color: #008000;}
.cpp.source-cpp .sy0 {color: #008000;}
.cpp.source-cpp .sy1 {color: #000080;}
.cpp.source-cpp .sy2 {color: #000040;}
.cpp.source-cpp .sy3 {color: #000040;}
.cpp.source-cpp .sy4 {color: #008080;}
.cpp.source-cpp .st0 {color: #008000;}
.cpp.source-cpp .nu0 {color: #000080;}
.cpp.source-cpp .nu6 {color: #000080;}
.cpp.source-cpp .nu8 {color: #000080;}
.cpp.source-cpp .nu12 {color: #000080;}
.cpp.source-cpp .nu16 {color:#000080;}
.cpp.source-cpp .nu17 {color:#000080;}
.cpp.source-cpp .nu18 {color:#000080;}
.cpp.source-cpp .nu19 {color:#000080;}
.cpp.source-cpp .ln-xtra, .cpp.source-cpp li.ln-xtra, .cpp.source-cpp div.ln-xtra {background-color: #ffc;}
.cpp.source-cpp span.xtra { display:block; }

/*]]>*/
</style><!--[if lt IE 7]><style type="text/css">body{behavior:url("/mwiki/skins/cppreference2/csshover.min.htc")}</style><![endif]--></head>
<body class="mediawiki ltr sitedir-ltr ns-0 ns-subject page-cpp_header_functional skin-cppreference2 action-view cpp-navbar">
        <!-- header -->
        <!-- /header -->
        <!-- content -->
<div id="cpp-content-base">
            <div id="content">
                <a id="top"></a>
                <div id="mw-js-message" style="display:none;"></div>
                                <!-- firstHeading -->
<h1 id="firstHeading" class="firstHeading"><span style="font-size:0.7em; line-height:130%">标准库头文件</span> &lt;functional&gt;</h1>
                <!-- /firstHeading -->
                <!-- bodyContent -->
                <div id="bodyContent">
                                        <!-- tagline -->
                    <div id="siteSub">来自cppreference.com</div>
                    <!-- /tagline -->
                                        <!-- subtitle -->
                    <div id="contentSub"><span class="subpages">&lt; <a href="../../cpp.html" title="cpp">cpp</a>‎ | <a href="../header.html" title="cpp/header">header</a></span></div>
                    <!-- /subtitle -->
                                                            <!-- bodycontent -->
                    <div id="mw-content-text" lang="zh" dir="ltr" class="mw-content-ltr"><div class="t-navbar" style=""><div class="t-navbar-sep"> </div><div class="t-navbar-head"><a href="../../cpp.html" title="cpp"> C++</a><div class="t-navbar-menu"><div><div><table class="t-nv-begin" cellpadding="0" style="line-height:1.1em;">
<tr class="t-nv"><td colspan="5"> <a href="../language.html" title="cpp/language">语言</a> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../header.html" title="cpp/header">标准库头文件</a> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../freestanding.html" title="cpp/freestanding"> 自立与有宿主实现</a> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../named_req.html" title="cpp/named req">具名要求</a> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../utility.html#.E8.AF.AD.E8.A8.80.E6.94.AF.E6.8C.81" title="cpp/utility">语言支持库</a> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../concepts.html" title="cpp/concepts">概念库</a> <span class="t-mark-rev t-since-cxx20">(C++20)</span> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../error.html" title="cpp/error">诊断库</a> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../utility.html" title="cpp/utility">工具库</a> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../string.html" title="cpp/string">字符串库</a> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="https://zh.cppreference.com/w/cpp/container" title="cpp/container">容器库</a> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../iterator.html" title="cpp/iterator">迭代器库</a> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../ranges.html" title="cpp/ranges"> 范围库</a> <span class="t-mark-rev t-since-cxx20">(C++20)</span> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../algorithm.html" title="cpp/algorithm">算法库</a> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../numeric.html" title="cpp/numeric">数值库</a> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../io.html" title="cpp/io">输入/输出库</a> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../locale.html" title="cpp/locale">本地化库</a> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../regex.html" title="cpp/regex">正则表达式库</a> <span class="t-mark-rev t-since-cxx11">(C++11)</span> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../atomic.html" title="cpp/atomic">原子操作库</a> <span class="t-mark-rev t-since-cxx11">(C++11)</span> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../thread.html" title="cpp/thread">线程支持库</a> <span class="t-mark-rev t-since-cxx11">(C++11)</span> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../filesystem.html" title="cpp/filesystem">文件系统库</a> <span class="t-mark-rev t-since-cxx17">(C++17)</span> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../experimental.html" title="cpp/experimental">技术规范</a> </td></tr>
</table></div><div></div></div></div></div><div class="t-navbar-sep"> </div><div class="t-navbar-head"><a href="../header.html" title="cpp/header"> 标准库头文件</a><div class="t-navbar-menu"><div><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv-h2"><td colspan="5"> 语言支持</td></tr>
<tr class="t-nv-col-table"><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="cstddef.html" title="cpp/header/cstddef"><tt>&lt;cstddef&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="limits.html" title="cpp/header/limits"><tt>&lt;limits&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="climits.html" title="cpp/header/climits"><tt>&lt;climits&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="https://zh.cppreference.com/mwiki/index.php?title=cpp/header/coroutine&amp;action=edit&amp;redlink=1" class="new" title="cpp/header/coroutine（页面不存在）"><tt>&lt;coroutine&gt;</tt></a></td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="cfloat.html" title="cpp/header/cfloat"><tt>&lt;cfloat&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="cstdint.html" title="cpp/header/cstdint"><tt>&lt;cstdint&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="new.html" title="cpp/header/new"><tt>&lt;new&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="source_location.html" title="cpp/header/source location"><tt>&lt;source_location&gt;</tt></a></td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="typeinfo.html" title="cpp/header/typeinfo"><tt>&lt;typeinfo&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="exception.html" title="cpp/header/exception"><tt>&lt;exception&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="initializer_list.html" title="cpp/header/initializer list"><tt>&lt;initializer_list&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="version.html" title="cpp/header/version"><tt>&lt;version&gt;</tt></a></td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="csignal.html" title="cpp/header/csignal"><tt>&lt;csignal&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="csetjmp.html" title="cpp/header/csetjmp"><tt>&lt;csetjmp&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="cstdarg.html" title="cpp/header/cstdarg"><tt>&lt;cstdarg&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <br>
</td></tr>
</table></div></td></tr>
<tr class="t-nv-h2"><td colspan="5"> 概念</td></tr>
<tr class="t-nv"><td colspan="5"> <a href="concepts.html" title="cpp/header/concepts"><tt>&lt;concepts&gt;</tt></a></td></tr>
<tr class="t-nv-h2"><td colspan="5"> 诊断</td></tr>
<tr class="t-nv-col-table"><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="stdexcept.html" title="cpp/header/stdexcept"><tt>&lt;stdexcept&gt;</tt></a></td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="cassert.html" title="cpp/header/cassert"><tt>&lt;cassert&gt;</tt></a></td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="cerrno.html" title="cpp/header/cerrno"><tt>&lt;cerrno&gt;</tt></a></td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="system_error.html" title="cpp/header/system error"><tt>&lt;system_error&gt;</tt></a></td></tr>
</table></div></td></tr>
<tr class="t-nv-h2"><td colspan="5"> 通用工具</td></tr>
<tr class="t-nv-col-table"><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="utility.html" title="cpp/header/utility"><tt>&lt;utility&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="memory.html" title="cpp/header/memory"><tt>&lt;memory&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="memory_resource.html" title="cpp/header/memory resource"><tt>&lt;memory_resource&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="scoped_allocator.html" title="cpp/header/scoped allocator"><tt>&lt;scoped_allocator&gt;</tt></a>    </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="compare.html" title="cpp/header/compare"><tt>&lt;compare&gt;</tt></a></td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="bitset.html" title="cpp/header/bitset"><tt>&lt;bitset&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="tuple.html" title="cpp/header/tuple"><tt>&lt;tuple&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="optional.html" title="cpp/header/optional"><tt>&lt;optional&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="any.html" title="cpp/header/any"><tt>&lt;any&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="variant.html" title="cpp/header/variant"><tt>&lt;variant&gt;</tt></a></td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="type_traits.html" title="cpp/header/type traits"><tt>&lt;type_traits&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="ratio.html" title="cpp/header/ratio"><tt>&lt;ratio&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="chrono.html" title="cpp/header/chrono"><tt>&lt;chrono&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="typeindex.html" title="cpp/header/typeindex"><tt>&lt;typeindex&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <strong class="selflink"><tt>&lt;functional&gt;</tt></strong></td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="ctime.html" title="cpp/header/ctime"><tt>&lt;ctime&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="cstdlib.html" title="cpp/header/cstdlib"><tt>&lt;cstdlib&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <br>
</td></tr>
<tr class="t-nv"><td colspan="5"> <br>
</td></tr>
<tr class="t-nv"><td colspan="5"> <br>
</td></tr>
</table></div></td></tr>
<tr class="t-nv-h2"><td colspan="5"> 字符串</td></tr>
<tr class="t-nv-col-table"><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="string.html" title="cpp/header/string"><tt>&lt;string&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="string_view.html" title="cpp/header/string view"><tt>&lt;string_view&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="cstring.html" title="cpp/header/cstring"><tt>&lt;cstring&gt;</tt></a></td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="charconv.html" title="cpp/header/charconv"><tt>&lt;charconv&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="format.html" title="cpp/header/format"><tt>&lt;format&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <br>
</td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="cctype.html" title="cpp/header/cctype"><tt>&lt;cctype&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="cwctype.html" title="cpp/header/cwctype"><tt>&lt;cwctype&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <br>
</td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="cwchar.html" title="cpp/header/cwchar"><tt>&lt;cwchar&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="cuchar.html" title="cpp/header/cuchar"><tt>&lt;cuchar&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <br>
</td></tr>
</table></div></td></tr>
<tr class="t-nv-h2"><td colspan="5"> 本地化</td></tr>
<tr class="t-nv-col-table"><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="locale.html" title="cpp/header/locale"><tt>&lt;locale&gt;</tt></a></td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="codecvt.html" title="cpp/header/codecvt"><tt>&lt;codecvt&gt;</tt></a></td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="clocale.html" title="cpp/header/clocale"><tt>&lt;clocale&gt;</tt></a></td></tr>
</table></div></td></tr>
<tr class="t-nv-h2"><td colspan="5"> 容器</td></tr>
<tr class="t-nv-col-table"><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="span.html" title="cpp/header/span"><tt>&lt;span&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="array.html" title="cpp/header/array"><tt>&lt;array&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="vector.html" title="cpp/header/vector"><tt>&lt;vector&gt;</tt></a></td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="deque.html" title="cpp/header/deque"><tt>&lt;deque&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="forward_list.html" title="cpp/header/forward list"><tt>&lt;forward_list&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="list.html" title="cpp/header/list"><tt>&lt;list&gt;</tt></a></td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="map.html" title="cpp/header/map"><tt>&lt;map&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="set.html" title="cpp/header/set"><tt>&lt;set&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="queue.html" title="cpp/header/queue"><tt>&lt;queue&gt;</tt></a></td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="unordered_map.html" title="cpp/header/unordered map"><tt>&lt;unordered_map&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="unordered_set.html" title="cpp/header/unordered set"><tt>&lt;unordered_set&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="stack.html" title="cpp/header/stack"><tt>&lt;stack&gt;</tt></a></td></tr>
</table></div></td></tr>
<tr class="t-nv-h2"><td colspan="5"> 迭代器</td></tr>
<tr class="t-nv"><td colspan="5"> <a href="iterator.html" title="cpp/header/iterator"><tt>&lt;iterator&gt;</tt></a></td></tr>
<tr class="t-nv-h2"><td colspan="5"> 范围</td></tr>
<tr class="t-nv"><td colspan="5"> <a href="ranges.html" title="cpp/header/ranges"><tt>&lt;ranges&gt;</tt></a></td></tr>
<tr class="t-nv-h2"><td colspan="5"> 算法</td></tr>
<tr class="t-nv-col-table"><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="algorithm.html" title="cpp/header/algorithm"><tt>&lt;algorithm&gt;</tt></a></td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="execution.html" title="cpp/header/execution"><tt>&lt;execution&gt;</tt></a></td></tr>
</table></div></td></tr>
<tr class="t-nv-h2"><td colspan="5"> 数值</td></tr>
<tr class="t-nv-col-table"><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="complex.html" title="cpp/header/complex"><tt>&lt;complex&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="random.html" title="cpp/header/random"><tt>&lt;random&gt;</tt></a></td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="valarray.html" title="cpp/header/valarray"><tt>&lt;valarray&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="numeric.html" title="cpp/header/numeric"><tt>&lt;numeric&gt;</tt></a></td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="bit.html" title="cpp/header/bit"><tt>&lt;bit&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="numbers.html" title="cpp/header/numbers"><tt>&lt;numbers&gt;</tt></a></td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="cfenv.html" title="cpp/header/cfenv"><tt>&lt;cfenv&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="cmath.html" title="cpp/header/cmath"><tt>&lt;cmath&gt;</tt></a></td></tr>
</table></div></td></tr>
<tr class="t-nv-h2"><td colspan="5"> 输入/输出</td></tr>
<tr class="t-nv-col-table"><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="iosfwd.html" title="cpp/header/iosfwd"><tt>&lt;iosfwd&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="ios.html" title="cpp/header/ios"><tt>&lt;ios&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="iomanip.html" title="cpp/header/iomanip"><tt>&lt;iomanip&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="streambuf.html" title="cpp/header/streambuf"><tt>&lt;streambuf&gt;</tt></a></td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="istream.html" title="cpp/header/istream"><tt>&lt;istream&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="ostream.html" title="cpp/header/ostream"><tt>&lt;ostream&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="iostream.html" title="cpp/header/iostream"><tt>&lt;iostream&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <br>
</td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="sstream.html" title="cpp/header/sstream"><tt>&lt;sstream&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="fstream.html" title="cpp/header/fstream"><tt>&lt;fstream&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="syncstream.html" title="cpp/header/syncstream"><tt>&lt;syncstream&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <br>
</td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="cstdio.html" title="cpp/header/cstdio"><tt>&lt;cstdio&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="cinttypes.html" title="cpp/header/cinttypes"><tt>&lt;cinttypes&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="strstream.html" title="cpp/header/strstream"><tt>&lt;strstream&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <br>
</td></tr>
</table></div></td></tr>
<tr class="t-nv-h2"><td colspan="5"> 正则表达式</td></tr>
<tr class="t-nv"><td colspan="5"> <a href="regex.html" title="cpp/header/regex"><tt>&lt;regex&gt;</tt></a></td></tr>
<tr class="t-nv-h2"><td colspan="5"> 文件系统</td></tr>
<tr class="t-nv"><td colspan="5"> <a href="filesystem.html" title="cpp/header/filesystem"><tt>&lt;filesystem&gt;</tt></a></td></tr>
<tr class="t-nv-h2"><td colspan="5"> 线程支持</td></tr>
<tr class="t-nv-col-table"><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="thread.html" title="cpp/header/thread"><tt>&lt;thread&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="atomic.html" title="cpp/header/atomic"><tt>&lt;atomic&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="mutex.html" title="cpp/header/mutex"><tt>&lt;mutex&gt;</tt></a></td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="shared_mutex.html" title="cpp/header/shared mutex"><tt>&lt;shared_mutex&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="condition_variable.html" title="cpp/header/condition variable"><tt>&lt;condition_variable&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="future.html" title="cpp/header/future"><tt>&lt;future&gt;</tt></a></td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="stop_token.html" title="cpp/header/stop token"><tt>&lt;stop_token&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="semaphore.html" title="cpp/header/semaphore"><tt>&lt;semaphore&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <br>
</td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="latch.html" title="cpp/header/latch"><tt>&lt;latch&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="https://zh.cppreference.com/mwiki/index.php?title=cpp/header/barrier&amp;action=edit&amp;redlink=1" class="new" title="cpp/header/barrier（页面不存在）"><tt>&lt;barrier&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <br>
</td></tr>
</table></div></td></tr>
<tr class="t-nv-h2"><td colspan="5"> C 兼容</td></tr>
<tr class="t-nv-col-table"><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="ciso646.html" title="cpp/header/ciso646"><tt>&lt;ciso646&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="cstdalign.html" title="cpp/header/cstdalign"><tt>&lt;cstdalign&gt;</tt></a></td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="cstdbool.html" title="cpp/header/cstdbool"><tt>&lt;cstdbool&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <a href="ccomplex.html" title="cpp/header/ccomplex"><tt>&lt;ccomplex&gt;</tt></a></td></tr>
</table></div></td><td><div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="ctgmath.html" title="cpp/header/ctgmath"><tt>&lt;ctgmath&gt;</tt></a></td></tr>
<tr class="t-nv"><td colspan="5"> <br>
</td></tr>
</table></div></td></tr>
</table></div><div></div></div></div></div><div class="t-navbar-sep"> </div></div>
<p>此头文件是<a href="../utility/functional.html" title="cpp/utility/functional">函数对象</a>库的一部分并提供标准<a href="../utility/hash.html" title="cpp/utility/hash">散列函数</a>。
</p>
<h3><span class="mw-headline" id=".E5.91.BD.E5.90.8D.E7.A9.BA.E9.97.B4">命名空间</span></h3>
<table class="t-dsc-begin">

<tr class="t-dsc">
<td> <a href="../utility/functional/placeholders.html" title="cpp/utility/functional/placeholders"><tt>placeholders</tt></a>
</td>
<td> 定义了用作 std::bind 表达式中的未绑定实参的占位符
</td></tr>

<tr>
<td colspan="2"> <h5> <span class="mw-headline" id=".E5.B8.B8.E9.87.8F"> 常量 </span></h5>
</td></tr>

<tr class="t-dsc-header">
<td colspan="2"> <div>定义于命名空间 <code>std::placeholders</code></div>
</td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/placeholders.html" title="cpp/utility/functional/placeholders"> <span class="t-lines"><span>_1, _2, _3, _4, ...</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-since-cxx11">(C++11)</span></span></span></div></div>
</td>
<td>   用作 <code>std::bind</code> 表达式中的未绑定实参的占位符  <br> <span class="t-mark">(常量)</span> </td></tr>
</table>
<h3><span class="mw-headline" id=".E7.B1.BB">类</span></h3>
<table class="t-dsc-begin">

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/function.html" title="cpp/utility/functional/function"> <span class="t-lines"><span>function</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-since-cxx11">(C++11)</span></span></span></div></div>
</td>
<td>  包装具有指定函数调用签名的任意类型的可调用对象 <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/mem_fn.html" title="cpp/utility/functional/mem fn"> <span class="t-lines"><span>mem_fn</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-since-cxx11">(C++11)</span></span></span></div></div>
</td>
<td>  从成员指针创建出函数对象 <br> <span class="t-mark">(函数模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/bad_function_call.html" title="cpp/utility/functional/bad function call"> <span class="t-lines"><span>bad_function_call</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-since-cxx11">(C++11)</span></span></span></div></div>
</td>
<td>  调用空的 <span class="t-lc"><a href="../utility/functional/function.html" title="cpp/utility/functional/function">std::function</a></span> 时抛出的异常 <br> <span class="t-mark">(类)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/is_bind_expression.html" title="cpp/utility/functional/is bind expression"> <span class="t-lines"><span>is_bind_expression</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-since-cxx11">(C++11)</span></span></span></div></div>
</td>
<td>  指示对象为 <code>std::bind</code> 表达式，或能被用作这种表达式 <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/is_placeholder.html" title="cpp/utility/functional/is placeholder"> <span class="t-lines"><span>is_placeholder</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-since-cxx11">(C++11)</span></span></span></div></div>
</td>
<td>   表明一个对象是标准占位符，或者可以用作标准占位符  <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/reference_wrapper.html" title="cpp/utility/functional/reference wrapper"> <span class="t-lines"><span>reference_wrapper</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-since-cxx11">(C++11)</span></span></span></div></div>
</td>
<td>   <a href="../named_req/CopyConstructible.html" title="cpp/named req/CopyConstructible"><i>可复制构造</i> <span style="font-family: Georgia, 'DejaVu Serif', serif; font-style:italic">(CopyConstructible)</span> </a>且<a href="../named_req/CopyAssignable.html" title="cpp/named req/CopyAssignable"><i>可复制赋值</i> <span style="font-family: Georgia, 'DejaVu Serif', serif; font-style:italic">(CopyAssignable)</span> </a>的引用包装器  <br> <span class="t-mark">(类模板)</span> </td></tr>


<tr>
<td colspan="2"> <h5> <span class="mw-headline" id=".E6.95.A3.E5.88.97"> 散列 </span></h5>
</td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/hash.html" title="cpp/utility/hash"> <span class="t-lines"><span>hash</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-since-cxx11">(C++11)</span></span></span></div></div>
</td>
<td>  散列函数对象 <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>
<p><span class="t-c"><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> hash<span class="sy1">&lt;</span><span class="kw4">bool</span><span class="sy1">&gt;</span><span class="sy4">;</span><br>
<span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> hash<span class="sy1">&lt;</span><span class="kw4">char</span><span class="sy1">&gt;</span><span class="sy4">;</span><br>
<span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> hash<span class="sy1">&lt;</span><span class="kw4">signed</span> <span class="kw4">char</span><span class="sy1">&gt;</span><span class="sy4">;</span><br>
<span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> hash<span class="sy1">&lt;</span><span class="kw4">unsigned</span> <span class="kw4">char</span><span class="sy1">&gt;</span><span class="sy4">;</span><br>
<span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> hash<span class="sy1">&lt;</span><span class="kw4">char16_t</span><span class="sy1">&gt;</span><span class="sy4">;</span><br>
<span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> hash<span class="sy1">&lt;</span><span class="kw4">char32_t</span><span class="sy1">&gt;</span><span class="sy4">;</span><br>
<span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> hash<span class="sy1">&lt;</span><span class="kw4">wchar_t</span><span class="sy1">&gt;</span><span class="sy4">;</span><br>
<span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> hash<span class="sy1">&lt;</span><span class="kw4">short</span><span class="sy1">&gt;</span><span class="sy4">;</span><br>
<span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> hash<span class="sy1">&lt;</span><span class="kw4">unsigned</span> <span class="kw4">short</span><span class="sy1">&gt;</span><span class="sy4">;</span><br>
<span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> hash<span class="sy1">&lt;</span><span class="kw4">int</span><span class="sy1">&gt;</span><span class="sy4">;</span><br>
<span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> hash<span class="sy1">&lt;</span><span class="kw4">unsigned</span> <span class="kw4">int</span><span class="sy1">&gt;</span><span class="sy4">;</span><br>
<span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> hash<span class="sy1">&lt;</span><span class="kw4">long</span><span class="sy1">&gt;</span><span class="sy4">;</span><br>
<span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> hash<span class="sy1">&lt;</span><span class="kw4">long</span> <span class="kw4">long</span><span class="sy1">&gt;</span><span class="sy4">;</span><br>
<span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> hash<span class="sy1">&lt;</span><span class="kw4">unsigned</span> <span class="kw4">long</span><span class="sy1">&gt;</span><span class="sy4">;</span><br>
<span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> hash<span class="sy1">&lt;</span><span class="kw4">unsigned</span> <span class="kw4">long</span> <span class="kw4">long</span><span class="sy1">&gt;</span><span class="sy4">;</span><br>
<span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> hash<span class="sy1">&lt;</span><span class="kw4">float</span><span class="sy1">&gt;</span><span class="sy4">;</span><br>
<span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> hash<span class="sy1">&lt;</span><span class="kw4">double</span><span class="sy1">&gt;</span><span class="sy4">;</span><br>
<span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> hash<span class="sy1">&lt;</span><span class="kw4">long</span> <span class="kw4">double</span><span class="sy1">&gt;</span><span class="sy4">;</span><br>
<span class="kw1">template</span><span class="sy1">&lt;</span> <span class="kw1">class</span> T <span class="sy1">&gt;</span> <span class="kw1">struct</span> hash<span class="sy1">&lt;</span>T<span class="sy2">*</span><span class="sy1">&gt;</span><span class="sy4">;</span></span></span> 
</p>
</td>
<td>  对内建类型的 <span class="t-lc"><a href="../utility/hash.html" title="cpp/utility/hash">std::hash</a></span> 特化<br><span class="t-mark">(类模板特化)</span>
</td></tr>

</table>
<h3><span class="mw-headline" id=".E5.87.BD.E6.95.B0">函数</span></h3>
<table class="t-dsc-begin">

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/bind.html" title="cpp/utility/functional/bind"> <span class="t-lines"><span>bind</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-since-cxx11">(C++11)</span></span></span></div></div>
</td>
<td>  绑定一或多个实参到函数对象 <br> <span class="t-mark">(函数模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/ref.html" title="cpp/utility/functional/ref"> <span class="t-lines"><span>ref</span><span>cref</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-since-cxx11">(C++11)</span></span><span><span class="t-mark-rev t-since-cxx11">(C++11)</span></span></span></div></div>
</td>
<td>   创建具有从其实参推导的类型的 <span class="t-lc"><a href="../utility/functional/reference_wrapper.html" title="cpp/utility/functional/reference wrapper">std::reference_wrapper</a></span>  <br> <span class="t-mark">(函数模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/invoke.html" title="cpp/utility/functional/invoke"> <span class="t-lines"><span>invoke</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-since-cxx17">(C++17)</span></span></span></div></div>
</td>
<td>  以给定实参调用任意<a href="../named_req/Callable.html" title="cpp/named req/Callable"><i>可调用</i> <span style="font-family: Georgia, 'DejaVu Serif', serif; font-style:italic">(Callable)</span> </a>对象 <br> <span class="t-mark">(函数模板)</span> </td></tr>
</table>
<h3><span class="mw-headline" id=".E5.87.BD.E6.95.B0.E5.AF.B9.E8.B1.A1">函数对象</span></h3>
<table class="t-dsc-begin">

<tr>
<td colspan="2"> <h5> <span class="mw-headline" id=".E7.AE.97.E6.9C.AF.E8.BF.90.E7.AE.97"> 算术运算 </span></h5>
</td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/plus.html" title="cpp/utility/functional/plus"> <span class="t-lines"><span>plus</span></span></a></div></div>
</td>
<td>  实现 <span class="t-c"><span class="mw-geshi cpp source-cpp">x <span class="sy2">+</span> y</span></span> 的函数对象 <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/minus.html" title="cpp/utility/functional/minus"> <span class="t-lines"><span>minus</span></span></a></div></div>
</td>
<td>  实现 <span class="t-c"><span class="mw-geshi cpp source-cpp">x <span class="sy2">-</span> y</span></span> 的函数对象 <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/multiplies.html" title="cpp/utility/functional/multiplies"> <span class="t-lines"><span>multiplies</span></span></a></div></div>
</td>
<td>  实现 <span class="t-c"><span class="mw-geshi cpp source-cpp">x <span class="sy2">*</span> y</span></span> 的函数对象 <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/divides.html" title="cpp/utility/functional/divides"> <span class="t-lines"><span>divides</span></span></a></div></div>
</td>
<td>  实现 <span class="t-c"><span class="mw-geshi cpp source-cpp">x <span class="sy2">/</span> y</span></span> 的函数对象 <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/modulus.html" title="cpp/utility/functional/modulus"> <span class="t-lines"><span>modulus</span></span></a></div></div>
</td>
<td>  实现 <span class="t-c"><span class="mw-geshi cpp source-cpp">x <span class="sy2">%</span> y</span></span> 的函数对象 <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/negate.html" title="cpp/utility/functional/negate"> <span class="t-lines"><span>negate</span></span></a></div></div>
</td>
<td>  实现 <span class="t-c"><span class="mw-geshi cpp source-cpp"><span class="sy2">-</span>x</span></span> 的函数对象 <br> <span class="t-mark">(类模板)</span> </td></tr>


<tr>
<td colspan="2"> <h5> <span class="mw-headline" id=".E6.AF.94.E8.BE.83"> 比较 </span></h5>
</td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/equal_to.html" title="cpp/utility/functional/equal to"> <span class="t-lines"><span>equal_to</span></span></a></div></div>
</td>
<td>  实现 <span class="t-c"><span class="mw-geshi cpp source-cpp">x <span class="sy1">==</span> y</span></span> 的函数对象 <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/not_equal_to.html" title="cpp/utility/functional/not equal to"> <span class="t-lines"><span>not_equal_to</span></span></a></div></div>
</td>
<td>  实现 <span class="t-c"><span class="mw-geshi cpp source-cpp">x <span class="sy3">!</span><span class="sy1">=</span> y</span></span> 的函数对象 <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/greater.html" title="cpp/utility/functional/greater"> <span class="t-lines"><span>greater</span></span></a></div></div>
</td>
<td>  实现 <span class="t-c"><span class="mw-geshi cpp source-cpp">x <span class="sy1">&gt;</span> y</span></span> 的函数对象 <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/less.html" title="cpp/utility/functional/less"> <span class="t-lines"><span>less</span></span></a></div></div>
</td>
<td>  实现 <span class="t-c"><span class="mw-geshi cpp source-cpp">x <span class="sy1">&lt;</span> y</span></span> 的函数对象 <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/greater_equal.html" title="cpp/utility/functional/greater equal"> <span class="t-lines"><span>greater_equal</span></span></a></div></div>
</td>
<td>  实现 <span class="t-c"><span class="mw-geshi cpp source-cpp">x <span class="sy1">&gt;=</span> y</span></span> 的函数对象 <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/less_equal.html" title="cpp/utility/functional/less equal"> <span class="t-lines"><span>less_equal</span></span></a></div></div>
</td>
<td>  实现 <span class="t-c"><span class="mw-geshi cpp source-cpp">x <span class="sy1">&lt;=</span> y</span></span> 的函数对象 <br> <span class="t-mark">(类模板)</span> </td></tr>


<tr>
<td colspan="2"> <h5> <span class="mw-headline" id=".E6.A6.82.E5.BF.B5.E5.88.B6.E7.BA.A6.E7.9A.84.E6.AF.94.E8.BE.83"> 概念制约的比较 </span></h5>
</td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/ranges/equal_to.html" title="cpp/utility/functional/ranges/equal to"> <span class="t-lines"><span>ranges::equal_to</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-since-cxx20">(C++20)</span></span></span></div></div>
</td>
<td>  实现 <span class="t-c"><span class="mw-geshi cpp source-cpp">x <span class="sy1">==</span> y</span></span> 的函数对象 <br> <span class="t-mark">(类)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/ranges/not_equal_to.html" title="cpp/utility/functional/ranges/not equal to"> <span class="t-lines"><span>ranges::not_equal_to</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-since-cxx20">(C++20)</span></span></span></div></div>
</td>
<td>  实现 <span class="t-c"><span class="mw-geshi cpp source-cpp">x <span class="sy3">!</span><span class="sy1">=</span> y</span></span> 的函数对象 <br> <span class="t-mark">(类)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/ranges/greater.html" title="cpp/utility/functional/ranges/greater"> <span class="t-lines"><span>ranges::greater</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-since-cxx20">(C++20)</span></span></span></div></div>
</td>
<td>  实现 <span class="t-c"><span class="mw-geshi cpp source-cpp">x <span class="sy1">&gt;</span> y</span></span> 的函数对象 <br> <span class="t-mark">(类)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/ranges/less.html" title="cpp/utility/functional/ranges/less"> <span class="t-lines"><span>ranges::less</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-since-cxx20">(C++20)</span></span></span></div></div>
</td>
<td>  实现 <span class="t-c"><span class="mw-geshi cpp source-cpp">x <span class="sy1">&lt;</span> y</span></span> 的函数对象 <br> <span class="t-mark">(类)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/ranges/greater_equal.html" title="cpp/utility/functional/ranges/greater equal"> <span class="t-lines"><span>ranges::greater_equal</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-since-cxx20">(C++20)</span></span></span></div></div>
</td>
<td>  实现 <span class="t-c"><span class="mw-geshi cpp source-cpp">x <span class="sy1">&gt;=</span> y</span></span> 的函数对象 <br> <span class="t-mark">(类)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/ranges/less_equal.html" title="cpp/utility/functional/ranges/less equal"> <span class="t-lines"><span>ranges::less_equal</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-since-cxx20">(C++20)</span></span></span></div></div>
</td>
<td>  实现 <span class="t-c"><span class="mw-geshi cpp source-cpp">x <span class="sy1">&lt;=</span> y</span></span> 的函数对象 <br> <span class="t-mark">(类)</span> </td></tr>


<tr>
<td colspan="2"> <h5> <span class="mw-headline" id=".E9.80.BB.E8.BE.91.E8.BF.90.E7.AE.97"> 逻辑运算 </span></h5>
</td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/logical_and.html" title="cpp/utility/functional/logical and"> <span class="t-lines"><span>logical_and</span></span></a></div></div>
</td>
<td>  实现 <span class="t-c"><span class="mw-geshi cpp source-cpp">x <span class="sy3">&amp;&amp;</span> y</span></span> 的函数对象 <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/logical_or.html" title="cpp/utility/functional/logical or"> <span class="t-lines"><span>logical_or</span></span></a></div></div>
</td>
<td>  实现 <span class="t-c"><span class="mw-geshi cpp source-cpp">x <span class="sy3">||</span> y</span></span> 的函数对象 <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/logical_not.html" title="cpp/utility/functional/logical not"> <span class="t-lines"><span>logical_not</span></span></a></div></div>
</td>
<td>  实现 <span class="t-c"><span class="mw-geshi cpp source-cpp"><span class="sy3">!</span>x</span></span> 的函数对象 <br> <span class="t-mark">(类模板)</span> </td></tr>


<tr>
<td colspan="2"> <h5> <span class="mw-headline" id=".E9.80.90.E4.BD.8D.E8.BF.90.E7.AE.97"> 逐位运算 </span></h5>
</td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/bit_and.html" title="cpp/utility/functional/bit and"> <span class="t-lines"><span>bit_and</span></span></a></div></div>
</td>
<td>  实现 <span class="t-c"><span class="mw-geshi cpp source-cpp">x <span class="sy3">&amp;</span> y</span></span> 的函数对象 <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/bit_or.html" title="cpp/utility/functional/bit or"> <span class="t-lines"><span>bit_or</span></span></a></div></div>
</td>
<td>  实现 <span class="t-c"><span class="mw-geshi cpp source-cpp">x <span class="sy3">|</span> y</span></span> 的函数对象 <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/bit_xor.html" title="cpp/utility/functional/bit xor"> <span class="t-lines"><span>bit_xor</span></span></a></div></div>
</td>
<td>  实现 <span class="t-c"><span class="mw-geshi cpp source-cpp">x <span class="sy3">^</span> y</span></span> 的函数对象 <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/bit_not.html" title="cpp/utility/functional/bit not"> <span class="t-lines"><span>bit_not</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-since-cxx14">(C++14)</span></span></span></div></div>
</td>
<td>  实现 <span class="t-c"><span class="mw-geshi cpp source-cpp">~x</span></span> 的函数对象 <br> <span class="t-mark">(类模板)</span> </td></tr>


<tr>
<td colspan="2"> <h5> <span class="mw-headline" id=".E5.8F.96.E5.8F.8D.E5.99.A8"> 取反器 </span></h5>
</td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/not_fn.html" title="cpp/utility/functional/not fn"> <span class="t-lines"><span>not_fn</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-since-cxx17">(C++17)</span></span></span></div></div>
</td>
<td>  创建返回其保有的函数对象的结果之补的函数对象 <br> <span class="t-mark">(函数模板)</span> </td></tr>


<tr>
<td colspan="2"> <h5> <span class="mw-headline" id=".E6.90.9C.E7.B4.A2.E5.99.A8"> 搜索器 </span></h5>
</td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/default_searcher.html" title="cpp/utility/functional/default searcher"> <span class="t-lines"><span>default_searcher</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-since-cxx17">(C++17)</span></span></span></div></div>
</td>
<td>  标准 C++ 库搜索算法实现 <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/boyer_moore_searcher.html" title="cpp/utility/functional/boyer moore searcher"> <span class="t-lines"><span>boyer_moore_searcher</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-since-cxx17">(C++17)</span></span></span></div></div>
</td>
<td>  Boyer-Moore 搜索算法实现 <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/boyer_moore_horspool_searcher.html" title="cpp/utility/functional/boyer moore horspool searcher"> <span class="t-lines"><span>boyer_moore_horspool_searcher</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-since-cxx17">(C++17)</span></span></span></div></div>
</td>
<td>   Boyer-Moore-Horspool 搜索算法实现 <br> <span class="t-mark">(类模板)</span> </td></tr>
</table>
<h3><span class="mw-headline" id="C.2B.2B11_.E4.B8.AD.E5.BC.83.E7.94.A8.E5.B9.B6.E4.BA.8E_C.2B.2B17_.E7.A7.BB.E9.99.A4">C++11 中弃用并于 C++17 移除</span></h3>
<table class="t-dsc-begin">

<tr>
<td colspan="2"> <h5> <span class="mw-headline" id=".E5.9F.BA.E7.B1.BB"> 基类 </span></h5>
</td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/unary_function.html" title="cpp/utility/functional/unary function"> <span class="t-lines"><span>unary_function</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-deprecated-cxx11">(C++11 中弃用)</span></span><span><span class="t-mark-rev t-until-cxx17">(C++17 中移除)</span></span></span></div></div>
</td>
<td>  与适配器兼容的一元函数基类 <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/binary_function.html" title="cpp/utility/functional/binary function"> <span class="t-lines"><span>binary_function</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-deprecated-cxx11">(C++11 中弃用)</span></span><span><span class="t-mark-rev t-until-cxx17">(C++17 中移除)</span></span></span></div></div>
</td>
<td>  与适配器兼容的二元函数基类 <br> <span class="t-mark">(类模板)</span> </td></tr>


<tr>
<td colspan="2"> <h5> <span class="mw-headline" id=".E7.BB.91.E5.AE.9A.E5.99.A8"> 绑定器 </span></h5>
</td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="https://zh.cppreference.com/mwiki/index.php?title=cpp/utility/functional/binder12&amp;action=edit&amp;redlink=1" class="new" title="cpp/utility/functional/binder12（页面不存在）"> <span class="t-lines"><span>binder1st</span><span>binder2nd</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-deprecated-cxx11">(C++11 中弃用)</span><span class="t-mark-rev t-until-cxx17">(C++17 中移除)</span></span></span></div></div>
</td>
<td>   持有一个二元函数及其实参之一的函数对象  <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/bind12.html" title="cpp/utility/functional/bind12"> <span class="t-lines"><span>bind1st</span><span>bind2nd</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-deprecated-cxx11">(C++11 中弃用)</span><span class="t-mark-rev t-until-cxx17">(C++17 中移除)</span></span></span></div></div>
</td>
<td>   将一个实参绑定到二元函数  <br> <span class="t-mark">(函数模板)</span> </td></tr>


<tr>
<td colspan="2"> <h5> <span class="mw-headline" id=".E5.87.BD.E6.95.B0.E9.80.82.E9.85.8D.E5.99.A8"> 函数适配器 </span></h5>
</td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/pointer_to_unary_function.html" title="cpp/utility/functional/pointer to unary function"> <span class="t-lines"><span>pointer_to_unary_function</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-deprecated-cxx11">(C++11 中弃用)</span></span><span><span class="t-mark-rev t-until-cxx17">(C++17 中移除)</span></span></span></div></div>
</td>
<td>  适配器兼容的包装，用于包装一元函数的指针  <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/pointer_to_binary_function.html" title="cpp/utility/functional/pointer to binary function"> <span class="t-lines"><span>pointer_to_binary_function</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-deprecated-cxx11">(C++11 中弃用)</span></span><span><span class="t-mark-rev t-until-cxx17">(C++17 中移除)</span></span></span></div></div>
</td>
<td>   适配器兼容的包装，用于包装二元函数的指针  <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/ptr_fun.html" title="cpp/utility/functional/ptr fun"> <span class="t-lines"><span>ptr_fun</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-deprecated-cxx11">(C++11 中弃用)</span></span><span><span class="t-mark-rev t-until-cxx17">(C++17 中移除)</span></span></span></div></div>
</td>
<td>   从函数指针创建与适配器兼容的函数对象包装器  <br> <span class="t-mark">(函数模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/mem_fun_t.html" title="cpp/utility/functional/mem fun t"> <span class="t-lines"><span>mem_fun_t</span><span>mem_fun1_t</span><span>const_mem_fun_t</span><span>const_mem_fun1_t</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-deprecated-cxx11">(C++11 中弃用)</span></span><span><span class="t-mark-rev t-until-cxx17">(C++17 中移除)</span></span></span></div></div>
</td>
<td>  指向零元或一元成员函数指针的包装器，可以一个对象指针调用 <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="https://zh.cppreference.com/mwiki/index.php?title=cpp/utility/functional/mem_fun&amp;action=edit&amp;redlink=1" class="new" title="cpp/utility/functional/mem fun（页面不存在）"> <span class="t-lines"><span>mem_fun</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-deprecated-cxx11">(C++11 中弃用)</span></span><span><span class="t-mark-rev t-until-cxx17">(C++17 中移除)</span></span></span></div></div>
</td>
<td>  从成员函数指针创建包装器，可以一个对象指针调用 <br> <span class="t-mark">(函数模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/mem_fun_ref_t.html" title="cpp/utility/functional/mem fun ref t"> <span class="t-lines"><span>mem_fun_ref_t</span><span>mem_fun1_ref_t</span><span>const_mem_fun_ref_t</span><span>const_mem_fun1_ref_t</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-deprecated-cxx11">(C++11 中弃用)</span></span><span><span class="t-mark-rev t-until-cxx17">(C++17 中移除)</span></span></span></div></div>
</td>
<td>  指向零元或一元成员函数指针的包装器，可以一个对象引用调用 <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="https://zh.cppreference.com/mwiki/index.php?title=cpp/utility/functional/mem_fun_ref&amp;action=edit&amp;redlink=1" class="new" title="cpp/utility/functional/mem fun ref（页面不存在）"> <span class="t-lines"><span>mem_fun_ref</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-deprecated-cxx11">(C++11 中弃用)</span></span><span><span class="t-mark-rev t-until-cxx17">(C++17 中移除)</span></span></span></div></div>
</td>
<td>  从成员函数指针创建包装器，能以一个对象引用调用 <br> <span class="t-mark">(函数模板)</span> </td></tr>
</table>
<h3><span class="mw-headline" id="C.2B.2B17_.E4.B8.AD.E5.BC.83.E7.94.A8.E5.B9.B6.E4.BA.8E_C.2B.2B20_.E7.A7.BB.E9.99.A4">C++17 中弃用并于 C++20 移除</span></h3>
<table class="t-dsc-begin">

<tr>
<td colspan="2"> <h5> <span class="mw-headline" id=".E5.8F.96.E5.8F.8D.E5.99.A8_2"> 取反器 </span></h5>
</td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/unary_negate.html" title="cpp/utility/functional/unary negate"> <span class="t-lines"><span>unary_negate</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-deprecated-cxx17">(C++17 中弃用)</span></span><span><span class="t-mark-rev t-until-cxx20">(C++20 中移除)</span></span></span></div></div>
</td>
<td>   包装器函数对象，返回所持有的一元谓词的补  <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/binary_negate.html" title="cpp/utility/functional/binary negate"> <span class="t-lines"><span>binary_negate</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-deprecated-cxx17">(C++17 中弃用)</span></span><span><span class="t-mark-rev t-until-cxx20">(C++20 中移除)</span></span></span></div></div>
</td>
<td>   包装器函数对象，返回所持有的二元谓词的补 <br> <span class="t-mark">(类模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/not1.html" title="cpp/utility/functional/not1"> <span class="t-lines"><span>not1</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-deprecated-cxx17">(C++17 中弃用)</span></span><span><span class="t-mark-rev t-until-cxx20">(C++20 中移除)</span></span></span></div></div>
</td>
<td>  构造定制的 <span class="t-lc"><a href="../utility/functional/unary_negate.html" title="cpp/utility/functional/unary negate">std::unary_negate</a></span> 对象 <br> <span class="t-mark">(函数模板)</span> </td></tr>

<tr class="t-dsc">
<td>  <div class="t-dsc-member-div"><div><a href="../utility/functional/not2.html" title="cpp/utility/functional/not2"> <span class="t-lines"><span>not2</span></span></a></div><div><span class="t-lines"><span><span class="t-mark-rev t-deprecated-cxx17">(C++17 中弃用)</span></span><span><span class="t-mark-rev t-until-cxx20">(C++20 中移除)</span></span></span></div></div>
</td>
<td>  构造定制的 <span class="t-lc"><a href="../utility/functional/binary_negate.html" title="cpp/utility/functional/binary negate">std::binary_negate</a></span> 对象 <br> <span class="t-mark">(函数模板)</span> </td></tr>
</table>
<h3><span class="mw-headline" id=".E6.A6.82.E8.A6.81">概要</span></h3>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="co1">// invoke</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> F, <span class="kw1">class</span>... <span class="me1">Args</span><span class="sy1">&gt;</span>
    <span class="kw4">constexpr</span> invoke_result_t<span class="sy1">&lt;</span>F, Args...<span class="sy1">&gt;</span> invoke<span class="br0">(</span>F<span class="sy3">&amp;&amp;</span> f, Args<span class="sy3">&amp;&amp;</span>... <span class="me1">args</span><span class="br0">)</span>
      <span class="kw1">noexcept</span><span class="br0">(</span>is_nothrow_invocable_v<span class="sy1">&lt;</span>F, Args...<span class="sy1">&gt;</span><span class="br0">)</span><span class="sy4">;</span>
 
  <span class="co1">// reference_wrapper</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw1">class</span> reference_wrapper<span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> reference_wrapper<span class="sy1">&lt;</span>T<span class="sy1">&gt;</span> ref<span class="br0">(</span>T<span class="sy3">&amp;</span><span class="br0">)</span> <span class="kw1">noexcept</span><span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> reference_wrapper<span class="sy1">&lt;</span><span class="kw4">const</span> T<span class="sy1">&gt;</span> cref<span class="br0">(</span><span class="kw4">const</span> T<span class="sy3">&amp;</span><span class="br0">)</span> <span class="kw1">noexcept</span><span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">void</span> ref<span class="br0">(</span><span class="kw4">const</span> T<span class="sy3">&amp;&amp;</span><span class="br0">)</span> <span class="sy1">=</span> delete<span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">void</span> cref<span class="br0">(</span><span class="kw4">const</span> T<span class="sy3">&amp;&amp;</span><span class="br0">)</span> <span class="sy1">=</span> delete<span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span>
    <span class="kw4">constexpr</span> reference_wrapper<span class="sy1">&lt;</span>T<span class="sy1">&gt;</span> ref<span class="br0">(</span>reference_wrapper<span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="br0">)</span> <span class="kw1">noexcept</span><span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span>
    <span class="kw4">constexpr</span> reference_wrapper<span class="sy1">&lt;</span><span class="kw4">const</span> T<span class="sy1">&gt;</span> cref<span class="br0">(</span>reference_wrapper<span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="br0">)</span> <span class="kw1">noexcept</span><span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw1">struct</span> unwrap_reference<span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw1">using</span> unwrap_reference_t <span class="sy1">=</span> <span class="kw1">typename</span> unwrap_reference<span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">type</span><span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw1">struct</span> unwrap_ref_decay<span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw1">using</span> unwrap_ref_decay_t <span class="sy1">=</span> <span class="kw1">typename</span> unwrap_ref_decay<span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">type</span><span class="sy4">;</span>
 
  <span class="co1">// 算术运算</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> plus<span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> minus<span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> multiplies<span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> divides<span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> modulus<span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> negate<span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> plus<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span><span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> minus<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span><span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> multiplies<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span><span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> divides<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span><span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> modulus<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span><span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> negate<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span><span class="sy4">;</span>
 
  <span class="co1">// 比较</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> equal_to<span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> not_equal_to<span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> greater<span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> less<span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> greater_equal<span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> less_equal<span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> equal_to<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span><span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> not_equal_to<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span><span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> greater<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span><span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> less<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span><span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> greater_equal<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span><span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> less_equal<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span><span class="sy4">;</span>
 
  <span class="co1">// 逻辑运算</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> logical_and<span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> logical_or<span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> logical_not<span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> logical_and<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span><span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> logical_or<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span><span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> logical_not<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span><span class="sy4">;</span>
 
  <span class="co1">// 逐位运算</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> bit_and<span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> bit_or<span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> bit_xor<span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> bit_not<span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> bit_and<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span><span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> bit_or<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span><span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> bit_xor<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span><span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> bit_not<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span><span class="sy4">;</span>
 
  <span class="co1">// identity</span>
  <span class="kw1">struct</span> identity<span class="sy4">;</span>
 
  <span class="co1">// 函数模板 not_fn</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> F<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="coMULTI">/* 未指明 */</span> not_fn<span class="br0">(</span>F<span class="sy3">&amp;&amp;</span> f<span class="br0">)</span><span class="sy4">;</span>
 
  <span class="co1">// 函数模板 bind_front</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> F, <span class="kw1">class</span>... <span class="me1">Args</span><span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="coMULTI">/* 未指明 */</span> bind_front<span class="br0">(</span>F<span class="sy3">&amp;&amp;</span>, Args<span class="sy3">&amp;&amp;</span>...<span class="br0">)</span><span class="sy4">;</span>
 
  <span class="co1">// bind</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw1">struct</span> is_bind_expression<span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw1">struct</span> is_placeholder<span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> F, <span class="kw1">class</span>... <span class="me1">BoundArgs</span><span class="sy1">&gt;</span>
    <span class="kw4">constexpr</span> <span class="coMULTI">/* 未指明 */</span> bind<span class="br0">(</span>F<span class="sy3">&amp;&amp;</span>, BoundArgs<span class="sy3">&amp;&amp;</span>...<span class="br0">)</span><span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> R, <span class="kw1">class</span> F, <span class="kw1">class</span>... <span class="me1">BoundArgs</span><span class="sy1">&gt;</span>
    <span class="kw4">constexpr</span> <span class="coMULTI">/* 未指明 */</span> bind<span class="br0">(</span>F<span class="sy3">&amp;&amp;</span>, BoundArgs<span class="sy3">&amp;&amp;</span>...<span class="br0">)</span><span class="sy4">;</span>
 
  <span class="kw1">namespace</span> placeholders <span class="br0">{</span>
    <span class="co1">// M 是实现定义的占位符数</span>
    <span class="coMULTI">/* 见描述 */</span> _1<span class="sy4">;</span>
    <span class="coMULTI">/* 见描述 */</span> _2<span class="sy4">;</span>
               .
               .
               .
    <span class="coMULTI">/* 见描述 */</span> _M<span class="sy4">;</span>
  <span class="br0">}</span>
 
  <span class="co1">// 成员函数适配器</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> R, <span class="kw1">class</span> T<span class="sy1">&gt;</span>
    <span class="kw4">constexpr</span> <span class="coMULTI">/* 未指明 */</span> mem_fn<span class="br0">(</span>R T<span class="sy4">::</span><span class="sy2">*</span><span class="br0">)</span> <span class="kw1">noexcept</span><span class="sy4">;</span>
 
  <span class="co1">// 多态函数包装</span>
  <span class="kw1">class</span> bad_function_call<span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span><span class="sy1">&gt;</span> <span class="kw1">class</span> function<span class="sy4">;</span> <span class="co1">// not defined</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> R, <span class="kw1">class</span>... <span class="me1">ArgTypes</span><span class="sy1">&gt;</span> <span class="kw1">class</span> function<span class="sy1">&lt;</span>R<span class="br0">(</span>ArgTypes...<span class="br0">)</span><span class="sy1">&gt;</span><span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> R, <span class="kw1">class</span>... <span class="me1">ArgTypes</span><span class="sy1">&gt;</span>
    <span class="kw4">void</span> swap<span class="br0">(</span>function<span class="sy1">&lt;</span>R<span class="br0">(</span>ArgTypes...<span class="br0">)</span><span class="sy1">&gt;</span><span class="sy3">&amp;</span>, function<span class="sy1">&lt;</span>R<span class="br0">(</span>ArgTypes...<span class="br0">)</span><span class="sy1">&gt;</span><span class="sy3">&amp;</span><span class="br0">)</span> <span class="kw1">noexcept</span><span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> R, <span class="kw1">class</span>... <span class="me1">ArgTypes</span><span class="sy1">&gt;</span>
    <span class="kw4">bool</span> operator<span class="sy1">==</span><span class="br0">(</span><span class="kw4">const</span> function<span class="sy1">&lt;</span>R<span class="br0">(</span>ArgTypes...<span class="br0">)</span><span class="sy1">&gt;</span><span class="sy3">&amp;</span>, nullptr_t<span class="br0">)</span> <span class="kw1">noexcept</span><span class="sy4">;</span>
 
  <span class="co1">// 搜索器</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> ForwardIter, <span class="kw1">class</span> BinaryPredicate <span class="sy1">=</span> equal_to<span class="sy1">&lt;&gt;&gt;</span>
    <span class="kw1">class</span> default_searcher<span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> RandomAccessIter,
           <span class="kw1">class</span> Hash <span class="sy1">=</span> hash<span class="sy1">&lt;</span><span class="kw1">typename</span> iterator_traits<span class="sy1">&lt;</span>RandomAccessIter<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value_type</span><span class="sy1">&gt;</span>,
           <span class="kw1">class</span> BinaryPredicate <span class="sy1">=</span> equal_to<span class="sy1">&lt;&gt;&gt;</span>
    <span class="kw1">class</span> boyer_moore_searcher<span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> RandomAccessIter,
           <span class="kw1">class</span> Hash <span class="sy1">=</span> hash<span class="sy1">&lt;</span><span class="kw1">typename</span> iterator_traits<span class="sy1">&lt;</span>RandomAccessIter<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value_type</span><span class="sy1">&gt;</span>,
           <span class="kw1">class</span> BinaryPredicate <span class="sy1">=</span> equal_to<span class="sy1">&lt;&gt;&gt;</span>
    <span class="kw1">class</span> boyer_moore_horspool_searcher<span class="sy4">;</span>
 
  <span class="co1">// 散列函数初等模板</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span>
    <span class="kw1">struct</span> hash<span class="sy4">;</span>
 
  <span class="co1">// 函数对象绑定器</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span>
    <span class="kw1">inline</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_bind_expression_v <span class="sy1">=</span> is_bind_expression<span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span>
    <span class="kw1">inline</span> <span class="kw4">constexpr</span> <span class="kw4">int</span> is_placeholder_v <span class="sy1">=</span> is_placeholder<span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span>
 
  <span class="kw1">namespace</span> ranges <span class="br0">{</span>
    <span class="co1">// 概念制约的比较</span>
    <span class="kw1">struct</span> equal_to<span class="sy4">;</span>
    <span class="kw1">struct</span> not_equal_to<span class="sy4">;</span>
    <span class="kw1">struct</span> greater<span class="sy4">;</span>
    <span class="kw1">struct</span> less<span class="sy4">;</span>
    <span class="kw1">struct</span> greater_equal<span class="sy4">;</span>
    <span class="kw1">struct</span> less_equal<span class="sy4">;</span>
  <span class="br0">}</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::reference_wrapper">类模板 <span class="t-lc"><a href="../utility/functional/reference_wrapper.html" title="cpp/utility/functional/reference wrapper">std::reference_wrapper</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw1">class</span> reference_wrapper <span class="br0">{</span>
  <span class="kw1">public</span><span class="sy4">:</span>
    <span class="co1">// 类型</span>
    <span class="kw1">using</span> type <span class="sy1">=</span> T<span class="sy4">;</span>
 
    <span class="co1">// 构造/复制/析构</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> U<span class="sy1">&gt;</span>
      <span class="kw4">constexpr</span> reference_wrapper<span class="br0">(</span>U<span class="sy3">&amp;&amp;</span><span class="br0">)</span> <span class="kw1">noexcept</span><span class="br0">(</span>see below<span class="br0">)</span><span class="sy4">;</span>
    <span class="kw4">constexpr</span> reference_wrapper<span class="br0">(</span><span class="kw4">const</span> reference_wrapper<span class="sy3">&amp;</span> x<span class="br0">)</span> <span class="kw1">noexcept</span><span class="sy4">;</span>
 
    <span class="co1">// 赋值</span>
    <span class="kw4">constexpr</span> reference_wrapper<span class="sy3">&amp;</span> operator<span class="sy1">=</span><span class="br0">(</span><span class="kw4">const</span> reference_wrapper<span class="sy3">&amp;</span> x<span class="br0">)</span> <span class="kw1">noexcept</span><span class="sy4">;</span>
 
    <span class="co1">// 访问</span>
    <span class="kw4">constexpr</span> operator T<span class="sy3">&amp;</span> <span class="br0">(</span><span class="br0">)</span> <span class="kw4">const</span> <span class="kw1">noexcept</span><span class="sy4">;</span>
    <span class="kw4">constexpr</span> T<span class="sy3">&amp;</span> get<span class="br0">(</span><span class="br0">)</span> <span class="kw4">const</span> <span class="kw1">noexcept</span><span class="sy4">;</span>
 
    <span class="co1">// 调用</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span>... <span class="me1">ArgTypes</span><span class="sy1">&gt;</span>
      <span class="kw4">constexpr</span> invoke_result_t<span class="sy1">&lt;</span>T<span class="sy3">&amp;</span>, ArgTypes...<span class="sy1">&gt;</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>ArgTypes<span class="sy3">&amp;&amp;</span>...<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span>
    reference_wrapper<span class="br0">(</span>T<span class="sy3">&amp;</span><span class="br0">)</span> <span class="sy2">-</span><span class="sy1">&gt;</span> reference_wrapper<span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::unwrap_reference">类模板 <span class="t-lc">std::unwrap_reference</span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span>
    <span class="kw1">struct</span> unwrap_reference<span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::unwrap_ref_decay">类模板 <span class="t-lc">std::unwrap_ref_decay</span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span>
    <span class="kw1">struct</span> unwrap_ref_decay<span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::plus">类模板 <span class="t-lc"><a href="../utility/functional/plus.html" title="cpp/utility/functional/plus">std::plus</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> plus <span class="br0">{</span>
    <span class="kw4">constexpr</span> T operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span><span class="kw4">const</span> T<span class="sy3">&amp;</span> x, <span class="kw4">const</span> T<span class="sy3">&amp;</span> y<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> plus<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span> <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t, U<span class="sy3">&amp;&amp;</span> u<span class="br0">)</span> <span class="kw4">const</span>
      <span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="br0">(</span>t<span class="br0">)</span> <span class="sy2">+</span> <a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>U<span class="sy1">&gt;</span><span class="br0">(</span>u<span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::minus">类模板 <span class="t-lc"><a href="../utility/functional/minus.html" title="cpp/utility/functional/minus">std::minus</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> minus <span class="br0">{</span>
    <span class="kw4">constexpr</span> T operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span><span class="kw4">const</span> T<span class="sy3">&amp;</span> x, <span class="kw4">const</span> T<span class="sy3">&amp;</span> y<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> minus<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span> <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t, U<span class="sy3">&amp;&amp;</span> u<span class="br0">)</span> <span class="kw4">const</span>
      <span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="br0">(</span>t<span class="br0">)</span> <span class="sy2">-</span> <a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>U<span class="sy1">&gt;</span><span class="br0">(</span>u<span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::multiplies">类模板 <span class="t-lc"><a href="../utility/functional/multiplies.html" title="cpp/utility/functional/multiplies">std::multiplies</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> multiplies <span class="br0">{</span>
    <span class="kw4">constexpr</span> T operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span><span class="kw4">const</span> T<span class="sy3">&amp;</span> x, <span class="kw4">const</span> T<span class="sy3">&amp;</span> y<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> multiplies<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span> <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t, U<span class="sy3">&amp;&amp;</span> u<span class="br0">)</span> <span class="kw4">const</span>
      <span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="br0">(</span>t<span class="br0">)</span> <span class="sy2">*</span> <a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>U<span class="sy1">&gt;</span><span class="br0">(</span>u<span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::divides">类模板 <span class="t-lc"><a href="../utility/functional/divides.html" title="cpp/utility/functional/divides">std::divides</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> divides <span class="br0">{</span>
    <span class="kw4">constexpr</span> T operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span><span class="kw4">const</span> T<span class="sy3">&amp;</span> x, <span class="kw4">const</span> T<span class="sy3">&amp;</span> y<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> divides<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span> <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t, U<span class="sy3">&amp;&amp;</span> u<span class="br0">)</span> <span class="kw4">const</span>
      <span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="br0">(</span>t<span class="br0">)</span> <span class="sy2">/</span> <a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>U<span class="sy1">&gt;</span><span class="br0">(</span>u<span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::modulus">类模板 <span class="t-lc"><a href="../utility/functional/modulus.html" title="cpp/utility/functional/modulus">std::modulus</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> modulus <span class="br0">{</span>
    <span class="kw4">constexpr</span> T operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span><span class="kw4">const</span> T<span class="sy3">&amp;</span> x, <span class="kw4">const</span> T<span class="sy3">&amp;</span> y<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> modulus<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span> <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t, U<span class="sy3">&amp;&amp;</span> u<span class="br0">)</span> <span class="kw4">const</span>
      <span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="br0">(</span>t<span class="br0">)</span> <span class="sy2">%</span> <a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>U<span class="sy1">&gt;</span><span class="br0">(</span>u<span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::negate">类模板 <span class="t-lc"><a href="../utility/functional/negate.html" title="cpp/utility/functional/negate">std::negate</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> negate <span class="br0">{</span>
    <span class="kw4">constexpr</span> T operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span><span class="kw4">const</span> T<span class="sy3">&amp;</span> x<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> negate<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span> <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t<span class="br0">)</span> <span class="kw4">const</span>
      <span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><span class="sy2">-</span><a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="br0">(</span>t<span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::equal_to">类模板 <span class="t-lc"><a href="../utility/functional/equal_to.html" title="cpp/utility/functional/equal to">std::equal_to</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> equal_to <span class="br0">{</span>
    <span class="kw4">constexpr</span> <span class="kw4">bool</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span><span class="kw4">const</span> T<span class="sy3">&amp;</span> x, <span class="kw4">const</span> T<span class="sy3">&amp;</span> y<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> equal_to<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span> <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t, U<span class="sy3">&amp;&amp;</span> u<span class="br0">)</span> <span class="kw4">const</span>
      <span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="br0">(</span>t<span class="br0">)</span> <span class="sy1">==</span> <a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>U<span class="sy1">&gt;</span><span class="br0">(</span>u<span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::not_equal_to">类模板 <span class="t-lc"><a href="../utility/functional/not_equal_to.html" title="cpp/utility/functional/not equal to">std::not_equal_to</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> not_equal_to <span class="br0">{</span>
    <span class="kw4">constexpr</span> <span class="kw4">bool</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span><span class="kw4">const</span> T<span class="sy3">&amp;</span> x, <span class="kw4">const</span> T<span class="sy3">&amp;</span> y<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> not_equal_to<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span> <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t, U<span class="sy3">&amp;&amp;</span> u<span class="br0">)</span> <span class="kw4">const</span>
      <span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="br0">(</span>t<span class="br0">)</span> <span class="sy3">!</span><span class="sy1">=</span> <a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>U<span class="sy1">&gt;</span><span class="br0">(</span>u<span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::greater">类模板 <span class="t-lc"><a href="../utility/functional/greater.html" title="cpp/utility/functional/greater">std::greater</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> greater <span class="br0">{</span>
    <span class="kw4">constexpr</span> <span class="kw4">bool</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span><span class="kw4">const</span> T<span class="sy3">&amp;</span> x, <span class="kw4">const</span> T<span class="sy3">&amp;</span> y<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> greater<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span> <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t, U<span class="sy3">&amp;&amp;</span> u<span class="br0">)</span> <span class="kw4">const</span>
      <span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="br0">(</span>t<span class="br0">)</span> <span class="sy1">&gt;</span> <a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>U<span class="sy1">&gt;</span><span class="br0">(</span>u<span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::less">类模板 <span class="t-lc"><a href="../utility/functional/less.html" title="cpp/utility/functional/less">std::less</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> less <span class="br0">{</span>
    <span class="kw4">constexpr</span> <span class="kw4">bool</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span><span class="kw4">const</span> T<span class="sy3">&amp;</span> x, <span class="kw4">const</span> T<span class="sy3">&amp;</span> y<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> less<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span> <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t, U<span class="sy3">&amp;&amp;</span> u<span class="br0">)</span> <span class="kw4">const</span>
      <span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="br0">(</span>t<span class="br0">)</span> <span class="sy1">&lt;</span> <a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>U<span class="sy1">&gt;</span><span class="br0">(</span>u<span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::greater_equal">类模板 <span class="t-lc"><a href="../utility/functional/greater_equal.html" title="cpp/utility/functional/greater equal">std::greater_equal</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> greater_equal <span class="br0">{</span>
    <span class="kw4">constexpr</span> <span class="kw4">bool</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span><span class="kw4">const</span> T<span class="sy3">&amp;</span> x, <span class="kw4">const</span> T<span class="sy3">&amp;</span> y<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> greater_equal<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span> <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t, U<span class="sy3">&amp;&amp;</span> u<span class="br0">)</span> <span class="kw4">const</span>
      <span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="br0">(</span>t<span class="br0">)</span> <span class="sy1">&gt;=</span> <a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>U<span class="sy1">&gt;</span><span class="br0">(</span>u<span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::less_equal">类模板 <span class="t-lc"><a href="../utility/functional/less_equal.html" title="cpp/utility/functional/less equal">std::less_equal</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> less_equal <span class="br0">{</span>
    <span class="kw4">constexpr</span> <span class="kw4">bool</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span><span class="kw4">const</span> T<span class="sy3">&amp;</span> x, <span class="kw4">const</span> T<span class="sy3">&amp;</span> y<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> less_equal<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span> <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t, U<span class="sy3">&amp;&amp;</span> u<span class="br0">)</span> <span class="kw4">const</span>
      <span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="br0">(</span>t<span class="br0">)</span> <span class="sy1">&lt;=</span> <a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>U<span class="sy1">&gt;</span><span class="br0">(</span>u<span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB_std::ranges::equal_to">类 <span class="t-lc">std::ranges::equal_to</span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std<span class="sy4">::</span><span class="me2">ranges</span> <span class="br0">{</span>
  <span class="kw1">struct</span> equal_to <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span>
      requires equality_comparable_with<span class="sy1">&lt;</span>T, U<span class="sy1">&gt;</span> <span class="sy3">||</span> <span class="coMULTI">/*BUILTIN-PTR-CMP*/</span><span class="br0">(</span>T, <span class="sy1">==</span>, U<span class="br0">)</span>
    <span class="kw4">constexpr</span> <span class="kw4">bool</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t, U<span class="sy3">&amp;&amp;</span> u<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB_std::ranges::not_equal_to">类 <span class="t-lc">std::ranges::not_equal_to</span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std<span class="sy4">::</span><span class="me2">ranges</span> <span class="br0">{</span>
  <span class="kw1">struct</span> not_equal_to <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span>
      requires equality_comparable_with<span class="sy1">&lt;</span>T, U<span class="sy1">&gt;</span> <span class="sy3">||</span> <span class="coMULTI">/*BUILTIN-PTR-CMP*/</span><span class="br0">(</span>T, <span class="sy1">==</span>, U<span class="br0">)</span>
    <span class="kw4">constexpr</span> <span class="kw4">bool</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t, U<span class="sy3">&amp;&amp;</span> u<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB_std::ranges::greater">类 <span class="t-lc">std::ranges::greater</span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std<span class="sy4">::</span><span class="me2">ranges</span> <span class="br0">{</span>
  <span class="kw1">struct</span> greater <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span>
      requires totally_ordered_with<span class="sy1">&lt;</span>T, U<span class="sy1">&gt;</span> <span class="sy3">||</span> <span class="coMULTI">/*BUILTIN-PTR-CMP*/</span><span class="br0">(</span>U, <span class="sy1">&lt;</span>, T<span class="br0">)</span>
    <span class="kw4">constexpr</span> <span class="kw4">bool</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t, U<span class="sy3">&amp;&amp;</span> u<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB_std::ranges::less">类 <span class="t-lc">std::ranges::less</span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std<span class="sy4">::</span><span class="me2">ranges</span> <span class="br0">{</span>
  <span class="kw1">struct</span> less <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span>
      requires totally_ordered_with<span class="sy1">&lt;</span>T, U<span class="sy1">&gt;</span> <span class="sy3">||</span> <span class="coMULTI">/*BUILTIN-PTR-CMP*/</span><span class="br0">(</span>T, <span class="sy1">&lt;</span>, U<span class="br0">)</span>
    <span class="kw4">constexpr</span> <span class="kw4">bool</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t, U<span class="sy3">&amp;&amp;</span> u<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB_std::ranges::greater_equal">类 <span class="t-lc">std::ranges::greater_equal</span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std<span class="sy4">::</span><span class="me2">ranges</span> <span class="br0">{</span>
  <span class="kw1">struct</span> greater_equal <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span>
      requires totally_ordered_with<span class="sy1">&lt;</span>T, U<span class="sy1">&gt;</span> <span class="sy3">||</span> <span class="coMULTI">/*BUILTIN-PTR-CMP*/</span><span class="br0">(</span>T, <span class="sy1">&lt;</span>, U<span class="br0">)</span>
    <span class="kw4">constexpr</span> <span class="kw4">bool</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t, U<span class="sy3">&amp;&amp;</span> u<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB_std::ranges::less_equal">类 <span class="t-lc">std::ranges::less_equal</span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std<span class="sy4">::</span><span class="me2">ranges</span> <span class="br0">{</span>
  <span class="kw1">struct</span> less_equal <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span>
      requires totally_ordered_with<span class="sy1">&lt;</span>T, U<span class="sy1">&gt;</span> <span class="sy3">||</span> <span class="coMULTI">/*BUILTIN-PTR-CMP*/</span><span class="br0">(</span>U, <span class="sy1">&lt;</span>, T<span class="br0">)</span>
    <span class="kw4">constexpr</span> <span class="kw4">bool</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t, U<span class="sy3">&amp;&amp;</span> u<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::logical_and">类模板 <span class="t-lc"><a href="../utility/functional/logical_and.html" title="cpp/utility/functional/logical and">std::logical_and</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> logical_and <span class="br0">{</span>
    <span class="kw4">constexpr</span> <span class="kw4">bool</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span><span class="kw4">const</span> T<span class="sy3">&amp;</span> x, <span class="kw4">const</span> T<span class="sy3">&amp;</span> y<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> logical_and<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span> <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t, U<span class="sy3">&amp;&amp;</span> u<span class="br0">)</span> <span class="kw4">const</span>
      <span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="br0">(</span>t<span class="br0">)</span> <span class="sy3">&amp;&amp;</span> <a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>U<span class="sy1">&gt;</span><span class="br0">(</span>u<span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::logical_or">类模板 <span class="t-lc"><a href="../utility/functional/logical_or.html" title="cpp/utility/functional/logical or">std::logical_or</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> logical_or <span class="br0">{</span>
    <span class="kw4">constexpr</span> <span class="kw4">bool</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span><span class="kw4">const</span> T<span class="sy3">&amp;</span> x, <span class="kw4">const</span> T<span class="sy3">&amp;</span> y<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> logical_or<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span> <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t, U<span class="sy3">&amp;&amp;</span> u<span class="br0">)</span> <span class="kw4">const</span>
      <span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="br0">(</span>t<span class="br0">)</span> <span class="sy3">||</span> <a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>U<span class="sy1">&gt;</span><span class="br0">(</span>u<span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::logical_not">类模板 <span class="t-lc"><a href="../utility/functional/logical_not.html" title="cpp/utility/functional/logical not">std::logical_not</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> logical_not <span class="br0">{</span>
    <span class="kw4">constexpr</span> <span class="kw4">bool</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span><span class="kw4">const</span> T<span class="sy3">&amp;</span> x<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> logical_not<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span> <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t<span class="br0">)</span> <span class="kw4">const</span>
      <span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><span class="sy3">!</span><a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="br0">(</span>t<span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::bit_and">类模板 <span class="t-lc"><a href="../utility/functional/bit_and.html" title="cpp/utility/functional/bit and">std::bit_and</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> bit_and <span class="br0">{</span>
    <span class="kw4">constexpr</span> T operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span><span class="kw4">const</span> T<span class="sy3">&amp;</span> x, <span class="kw4">const</span> T<span class="sy3">&amp;</span> y<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> bit_and<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span> <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t, U<span class="sy3">&amp;&amp;</span> u<span class="br0">)</span> <span class="kw4">const</span>
      <span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="br0">(</span>t<span class="br0">)</span> <span class="sy3">&amp;</span> <a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>U<span class="sy1">&gt;</span><span class="br0">(</span>u<span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::bit_or">类模板 <span class="t-lc"><a href="../utility/functional/bit_or.html" title="cpp/utility/functional/bit or">std::bit_or</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> bit_or <span class="br0">{</span>
    <span class="kw4">constexpr</span> T operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span><span class="kw4">const</span> T<span class="sy3">&amp;</span> x, <span class="kw4">const</span> T<span class="sy3">&amp;</span> y<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> bit_or<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span> <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t, U<span class="sy3">&amp;&amp;</span> u<span class="br0">)</span> <span class="kw4">const</span>
      <span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="br0">(</span>t<span class="br0">)</span> <span class="sy3">|</span> <a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>U<span class="sy1">&gt;</span><span class="br0">(</span>u<span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::bit_xor">类模板 <span class="t-lc">std::bit_xor</span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> bit_xor <span class="br0">{</span>
    <span class="kw4">constexpr</span> T operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span><span class="kw4">const</span> T<span class="sy3">&amp;</span> x, <span class="kw4">const</span> T<span class="sy3">&amp;</span> y<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> bit_xor<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span> <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t, U<span class="sy3">&amp;&amp;</span> u<span class="br0">)</span> <span class="kw4">const</span>
      <span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="br0">(</span>t<span class="br0">)</span> <span class="sy3">^</span> <a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>U<span class="sy1">&gt;</span><span class="br0">(</span>u<span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::bit_not">类模板 <span class="t-lc"><a href="../utility/functional/bit_not.html" title="cpp/utility/functional/bit not">std::bit_not</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T <span class="sy1">=</span> <span class="kw4">void</span><span class="sy1">&gt;</span> <span class="kw1">struct</span> bit_not <span class="br0">{</span>
    <span class="kw4">constexpr</span> T operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span><span class="kw4">const</span> T<span class="sy3">&amp;</span> x<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;&gt;</span> <span class="kw1">struct</span> bit_not<span class="sy1">&lt;</span><span class="kw4">void</span><span class="sy1">&gt;</span> <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t<span class="br0">)</span> <span class="kw4">const</span>
      <span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span>~<a href="../utility/forward.html"><span class="kw1117">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="br0">(</span>t<span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::identity">类模板 <span class="t-lc">std::identity</span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">struct</span> identity <span class="br0">{</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span>
      <span class="kw4">constexpr</span> T<span class="sy3">&amp;&amp;</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> t<span class="br0">)</span> <span class="kw4">const</span> <span class="kw1">noexcept</span><span class="sy4">;</span>
 
    <span class="kw1">using</span> is_transparent <span class="sy1">=</span> <span class="coMULTI">/* 未指明 */</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::is_bind_expression">类模板 <span class="t-lc"><a href="../utility/functional/is_bind_expression.html" title="cpp/utility/functional/is bind expression">std::is_bind_expression</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw1">struct</span> is_bind_expression<span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::is_placeholder">类模板 <span class="t-lc"><a href="../utility/functional/is_placeholder.html" title="cpp/utility/functional/is placeholder">std::is_placeholder</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw1">struct</span> is_placeholder<span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB_std::bad_function_call">类 <span class="t-lc"><a href="../utility/functional/bad_function_call.html" title="cpp/utility/functional/bad function call">std::bad_function_call</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">class</span> bad_function_call <span class="sy4">:</span> <span class="kw1">public</span> exception <span class="br0">{</span>
  <span class="kw1">public</span><span class="sy4">:</span>
    <span class="co1">// 特殊成员函数的规定见 [exception]</span>
    <span class="kw4">const</span> <span class="kw4">char</span><span class="sy2">*</span> what<span class="br0">(</span><span class="br0">)</span> <span class="kw4">const</span> <span class="kw1">noexcept</span> override<span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB_std::function">类 <span class="t-lc"><a href="../utility/functional/function.html" title="cpp/utility/functional/function">std::function</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span><span class="sy1">&gt;</span> <span class="kw1">class</span> function<span class="sy4">;</span> <span class="co1">// 不定义</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> R, <span class="kw1">class</span>... <span class="me1">ArgTypes</span><span class="sy1">&gt;</span>
  <span class="kw1">class</span> function<span class="sy1">&lt;</span>R<span class="br0">(</span>ArgTypes...<span class="br0">)</span><span class="sy1">&gt;</span> <span class="br0">{</span>
  <span class="kw1">public</span><span class="sy4">:</span>
    <span class="kw1">using</span> result_type <span class="sy1">=</span> R<span class="sy4">;</span>
 
    <span class="co1">// 构造/复制/销毁</span>
    function<span class="br0">(</span><span class="br0">)</span> <span class="kw1">noexcept</span><span class="sy4">;</span>
    function<span class="br0">(</span>nullptr_t<span class="br0">)</span> <span class="kw1">noexcept</span><span class="sy4">;</span>
    function<span class="br0">(</span><span class="kw4">const</span> function<span class="sy3">&amp;</span><span class="br0">)</span><span class="sy4">;</span>
    function<span class="br0">(</span>function<span class="sy3">&amp;&amp;</span><span class="br0">)</span> <span class="kw1">noexcept</span><span class="sy4">;</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> F<span class="sy1">&gt;</span> function<span class="br0">(</span>F<span class="br0">)</span><span class="sy4">;</span>
 
    function<span class="sy3">&amp;</span> operator<span class="sy1">=</span><span class="br0">(</span><span class="kw4">const</span> function<span class="sy3">&amp;</span><span class="br0">)</span><span class="sy4">;</span>
    function<span class="sy3">&amp;</span> operator<span class="sy1">=</span><span class="br0">(</span>function<span class="sy3">&amp;&amp;</span><span class="br0">)</span><span class="sy4">;</span>
    function<span class="sy3">&amp;</span> operator<span class="sy1">=</span><span class="br0">(</span>nullptr_t<span class="br0">)</span> <span class="kw1">noexcept</span><span class="sy4">;</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> F<span class="sy1">&gt;</span> function<span class="sy3">&amp;</span> operator<span class="sy1">=</span><span class="br0">(</span>F<span class="sy3">&amp;&amp;</span><span class="br0">)</span><span class="sy4">;</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> F<span class="sy1">&gt;</span> function<span class="sy3">&amp;</span> operator<span class="sy1">=</span><span class="br0">(</span>reference_wrapper<span class="sy1">&lt;</span>F<span class="sy1">&gt;</span><span class="br0">)</span> <span class="kw1">noexcept</span><span class="sy4">;</span>
 
    ~function<span class="br0">(</span><span class="br0">)</span><span class="sy4">;</span>
 
    <span class="co1">// function 修改器</span>
    <span class="kw4">void</span> swap<span class="br0">(</span>function<span class="sy3">&amp;</span><span class="br0">)</span> <span class="kw1">noexcept</span><span class="sy4">;</span>
 
    <span class="co1">// function 容量</span>
    <span class="kw1">explicit</span> operator <span class="kw4">bool</span><span class="br0">(</span><span class="br0">)</span> <span class="kw4">const</span> <span class="kw1">noexcept</span><span class="sy4">;</span>
 
    <span class="co1">// function 调用</span>
    R operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>ArgTypes...<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
 
    <span class="co1">// function 目标访问</span>
    <span class="kw4">const</span> type_info<span class="sy3">&amp;</span> target_type<span class="br0">(</span><span class="br0">)</span> <span class="kw4">const</span> <span class="kw1">noexcept</span><span class="sy4">;</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span>       T<span class="sy2">*</span> target<span class="br0">(</span><span class="br0">)</span> <span class="kw1">noexcept</span><span class="sy4">;</span>
    <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">const</span> T<span class="sy2">*</span> target<span class="br0">(</span><span class="br0">)</span> <span class="kw4">const</span> <span class="kw1">noexcept</span><span class="sy4">;</span>
  <span class="br0">}</span><span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> R, <span class="kw1">class</span>... <span class="me1">ArgTypes</span><span class="sy1">&gt;</span>
    function<span class="br0">(</span>R<span class="br0">(</span><span class="sy2">*</span><span class="br0">)</span><span class="br0">(</span>ArgTypes...<span class="br0">)</span><span class="br0">)</span> <span class="sy2">-</span><span class="sy1">&gt;</span> function<span class="sy1">&lt;</span>R<span class="br0">(</span>ArgTypes...<span class="br0">)</span><span class="sy1">&gt;</span><span class="sy4">;</span>
 
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> F<span class="sy1">&gt;</span> function<span class="br0">(</span>F<span class="br0">)</span> <span class="sy2">-</span><span class="sy1">&gt;</span> function<span class="sy1">&lt;</span><span class="coMULTI">/* see description */</span><span class="sy1">&gt;</span><span class="sy4">;</span>
 
  <span class="co1">// 空指针比较函数</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> R, <span class="kw1">class</span>... <span class="me1">ArgTypes</span><span class="sy1">&gt;</span>
    <span class="kw4">bool</span> operator<span class="sy1">==</span><span class="br0">(</span><span class="kw4">const</span> function<span class="sy1">&lt;</span>R<span class="br0">(</span>ArgTypes...<span class="br0">)</span><span class="sy1">&gt;</span><span class="sy3">&amp;</span>, nullptr_t<span class="br0">)</span> <span class="kw1">noexcept</span><span class="sy4">;</span>
 
  <span class="co1">// 特化的算法</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> R, <span class="kw1">class</span>... <span class="me1">ArgTypes</span><span class="sy1">&gt;</span>
    <span class="kw4">void</span> swap<span class="br0">(</span>function<span class="sy1">&lt;</span>R<span class="br0">(</span>ArgTypes...<span class="br0">)</span><span class="sy1">&gt;</span><span class="sy3">&amp;</span>, function<span class="sy1">&lt;</span>R<span class="br0">(</span>ArgTypes...<span class="br0">)</span><span class="sy1">&gt;</span><span class="sy3">&amp;</span><span class="br0">)</span> <span class="kw1">noexcept</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::default_searcher">类模板 <span class="t-lc"><a href="../utility/functional/default_searcher.html" title="cpp/utility/functional/default searcher">std::default_searcher</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> ForwardIter1, <span class="kw1">class</span> BinaryPredicate <span class="sy1">=</span> equal_to<span class="sy1">&lt;&gt;&gt;</span>
    <span class="kw1">class</span> default_searcher <span class="br0">{</span>
    <span class="kw1">public</span><span class="sy4">:</span>
      <span class="kw4">constexpr</span> default_searcher<span class="br0">(</span>ForwardIter1 pat_first, ForwardIter1 pat_last,
                                 BinaryPredicate pred <span class="sy1">=</span> BinaryPredicate<span class="br0">(</span><span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span>
 
      <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> ForwardIter2<span class="sy1">&gt;</span>
        <span class="kw4">constexpr</span> pair<span class="sy1">&lt;</span>ForwardIter2, ForwardIter2<span class="sy1">&gt;</span>
          operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>ForwardIter2 first, ForwardIter2 last<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
 
    <span class="kw1">private</span><span class="sy4">:</span>
      ForwardIter1 pat_first_<span class="sy4">;</span>            <span class="co1">// 仅为阐释</span>
      ForwardIter1 pat_last_<span class="sy4">;</span>             <span class="co1">// 仅为阐释</span>
      BinaryPredicate pred_<span class="sy4">;</span>              <span class="co1">// 仅为阐释</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::boyer_moore_searcher">类模板 <span class="t-lc"><a href="../utility/functional/boyer_moore_searcher.html" title="cpp/utility/functional/boyer moore searcher">std::boyer_moore_searcher</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> RandomAccessIter1,
           <span class="kw1">class</span> Hash <span class="sy1">=</span> hash<span class="sy1">&lt;</span><span class="kw1">typename</span> iterator_traits<span class="sy1">&lt;</span>RandomAccessIter1<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value_type</span><span class="sy1">&gt;</span>,
           <span class="kw1">class</span> BinaryPredicate <span class="sy1">=</span> equal_to<span class="sy1">&lt;&gt;&gt;</span>
    <span class="kw1">class</span> boyer_moore_searcher <span class="br0">{</span>
    <span class="kw1">public</span><span class="sy4">:</span>
      boyer_moore_searcher<span class="br0">(</span>RandomAccessIter1 pat_first,
                           RandomAccessIter1 pat_last,
                           Hash hf <span class="sy1">=</span> Hash<span class="br0">(</span><span class="br0">)</span>,
                           BinaryPredicate pred <span class="sy1">=</span> BinaryPredicate<span class="br0">(</span><span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span>
 
      <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> RandomAccessIter2<span class="sy1">&gt;</span>
        pair<span class="sy1">&lt;</span>RandomAccessIter2, RandomAccessIter2<span class="sy1">&gt;</span>
          operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>RandomAccessIter2 first, RandomAccessIter2 last<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
 
    <span class="kw1">private</span><span class="sy4">:</span>
      RandomAccessIter1 pat_first_<span class="sy4">;</span>       <span class="co1">// 仅为阐释</span>
      RandomAccessIter1 pat_last_<span class="sy4">;</span>        <span class="co1">// 仅为阐释</span>
      Hash hash_<span class="sy4">;</span>                         <span class="co1">// 仅为阐释</span>
      BinaryPredicate pred_<span class="sy4">;</span>              <span class="co1">// 仅为阐释</span>
    <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h4><span class="mw-headline" id=".E7.B1.BB.E6.A8.A1.E6.9D.BF_std::boyer_moore_horspool_searcher">类模板 <span class="t-lc"><a href="../utility/functional/boyer_moore_horspool_searcher.html" title="cpp/utility/functional/boyer moore horspool searcher">std::boyer_moore_horspool_searcher</a></span></span></h4>
<div dir="ltr" class="mw-geshi" style="text-align: left;"><div class="cpp source-cpp"><pre class="de1"><span class="kw1">namespace</span> std <span class="br0">{</span>
  <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> RandomAccessIter1,
           <span class="kw1">class</span> Hash <span class="sy1">=</span> hash<span class="sy1">&lt;</span><span class="kw1">typename</span> iterator_traits<span class="sy1">&lt;</span>RandomAccessIter1<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value_type</span><span class="sy1">&gt;</span>,
           <span class="kw1">class</span> BinaryPredicate <span class="sy1">=</span> equal_to<span class="sy1">&lt;&gt;&gt;</span>
    <span class="kw1">class</span> boyer_moore_horspool_searcher <span class="br0">{</span>
    <span class="kw1">public</span><span class="sy4">:</span>
      boyer_moore_horspool_searcher<span class="br0">(</span>RandomAccessIter1 pat_first,
                                    RandomAccessIter1 pat_last,
                                    Hash hf <span class="sy1">=</span> Hash<span class="br0">(</span><span class="br0">)</span>,
                                    BinaryPredicate pred <span class="sy1">=</span> BinaryPredicate<span class="br0">(</span><span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span>
 
      <span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> RandomAccessIter2<span class="sy1">&gt;</span>
        pair<span class="sy1">&lt;</span>RandomAccessIter2, RandomAccessIter2<span class="sy1">&gt;</span>
          operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>RandomAccessIter2 first, RandomAccessIter2 last<span class="br0">)</span> <span class="kw4">const</span><span class="sy4">;</span>
 
    <span class="kw1">private</span><span class="sy4">:</span>
      RandomAccessIter1 pat_first_<span class="sy4">;</span>       <span class="co1">// 仅为阐释</span>
      RandomAccessIter1 pat_last_<span class="sy4">;</span>        <span class="co1">// 仅为阐释</span>
      Hash hash_<span class="sy4">;</span>                         <span class="co1">// 仅为阐释</span>
      BinaryPredicate pred_<span class="sy4">;</span>              <span class="co1">// 仅为阐释</span>
  <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div></div>
<h3><span class="mw-headline" id=".E5.8F.82.E9.98.85">参阅</span></h3>
<table class="t-dsc-begin">

<tr class="t-dsc">
<td> <a href="string.html" title="cpp/header/string"><tt>&lt;string&gt;</tt></a>
</td>
<td> 针对 <span class="t-lc"><a href="../string/basic_string.html" title="cpp/string/basic string">std::string</a></span>、<span class="t-lc"><a href="../string/basic_string.html" title="cpp/string/basic string">std::u16string</a></span>、<span class="t-lc"><a href="../string/basic_string.html" title="cpp/string/basic string">std::u32string</a></span>、<span class="t-lc"><a href="../string/basic_string.html" title="cpp/string/basic string">std::wstring</a></span> 特化 <span class="t-lc"><a href="../utility/hash.html" title="cpp/utility/hash">std::hash</a></span>
</td></tr>

<tr class="t-dsc">
<td> <a href="system_error.html" title="cpp/header/system error"><tt>&lt;system_error&gt;</tt></a>
</td>
<td> 针对 <span class="t-lc"><a href="../error/error_code.html" title="cpp/error/error code">std::error_code</a></span> 特化 <span class="t-lc"><a href="../utility/hash.html" title="cpp/utility/hash">std::hash</a></span>
</td></tr>

<tr class="t-dsc">
<td> <a href="bitset.html" title="cpp/header/bitset"><tt>&lt;bitset&gt;</tt></a>
</td>
<td> 针对 <span class="t-lc"><a href="../utility/bitset.html" title="cpp/utility/bitset">std::bitset</a></span> 特化 <span class="t-lc"><a href="../utility/hash.html" title="cpp/utility/hash">std::hash</a></span>
</td></tr>

<tr class="t-dsc">
<td> <a href="memory.html" title="cpp/header/memory"><tt>&lt;memory&gt;</tt></a>
</td>
<td> 针对 <span class="t-lc"><a href="../memory/unique_ptr.html" title="cpp/memory/unique ptr">std::unique_ptr</a></span>、<span class="t-lc"><a href="../memory/shared_ptr.html" title="cpp/memory/shared ptr">std::shared_ptr</a></span> 特化 <span class="t-lc"><a href="../utility/hash.html" title="cpp/utility/hash">std::hash</a></span>
</td></tr>

<tr class="t-dsc">
<td> <a href="typeindex.html" title="cpp/header/typeindex"><tt>&lt;typeindex&gt;</tt></a>
</td>
<td> 针对 <span class="t-lc"><a href="../types/type_index.html" title="cpp/types/type index">std::type_index</a></span> 特化 <span class="t-lc"><a href="../utility/hash.html" title="cpp/utility/hash">std::hash</a></span>
</td></tr>

<tr class="t-dsc">
<td> <a href="vector.html" title="cpp/header/vector"><tt>&lt;vector&gt;</tt></a>
</td>
<td> 针对 <span class="t-c"><span class="mw-geshi cpp source-cpp"><a href="../container/vector.html"><span class="kw1269">std::<span class="me2">vector</span></span></a><span class="sy1">&lt;</span><span class="kw4">bool</span><span class="sy1">&gt;</span></span></span> 特化 <span class="t-lc"><a href="../utility/hash.html" title="cpp/utility/hash">std::hash</a></span>
</td></tr>

<tr class="t-dsc">
<td> <a href="thread.html" title="cpp/header/thread"><tt>&lt;thread&gt;</tt></a>
</td>
<td> 针对 <span class="t-lc"><a href="../thread/thread/id.html" title="cpp/thread/thread/id">std::thread::id</a></span> 特化 <span class="t-lc"><a href="../utility/hash.html" title="cpp/utility/hash">std::hash</a></span>
</td></tr>
</table>

<!-- 
NewPP limit report
Preprocessor visited node count: 17204/1000000
Preprocessor generated node count: 14162/1000000
Post‐expand include size: 1665693/2097152 bytes
Template argument size: 142758/2097152 bytes
Highest expansion depth: 23/40
Expensive parser function count: 0/100
-->

<!-- Saved in parser cache with key mwiki1-mwiki_zh_:pcache:idhash:9591-0!*!0!!zh!*!zh!* and timestamp 20200214162521 -->
</div>                    <!-- /bodycontent -->
                                        <!-- printfooter -->
                    <div class="printfooter">
                    来自“<a href="https://zh.cppreference.com/mwiki/index.php?title=cpp/header/functional&amp;oldid=62577">https://zh.cppreference.com/mwiki/index.php?title=cpp/header/functional&amp;oldid=62577</a>”                    </div>
                    <!-- /printfooter -->
                                                            <!-- catlinks -->
                    <!-- /catlinks -->
                                                            <div class="visualClear"></div>
                    <!-- debughtml -->
                                        <!-- /debughtml -->
                </div>
                <!-- /bodyContent -->
            </div>
        </div>
        <!-- /content -->
        <!-- footer -->
        <div id="cpp-footer-base" class="noprint">
            <div id="footer">
                        <div id="cpp-navigation">
            <h5>导航</h5>
            <ul><li><a href="https://zh.cppreference.com/w/cpp/header/functional">Online version</a></li><li>Offline version retrieved 2020-03-14 18:00.</li></ul></div>
                        <ul id="footer-info">
                                    <li id="footer-info-lastmod"> 本页面最后修改于2019年9月2日 (星期一) 06:08。</li>
                                    <li id="footer-info-viewcount">此页面已被浏览过10,063次。</li>
                            </ul>
                    </div>
        </div>
        <!-- /footer -->
        <script>if(window.mw){
mw.loader.state({"site":"loading","user":"missing","user.groups":"ready"});
}</script>
<script src="../../../common/skin_scripts.js"></script>
<script>if(window.mw){
mw.loader.load(["mediawiki.action.view.postEdit","mediawiki.user","mediawiki.page.ready","mediawiki.searchSuggest","mediawiki.hidpi","ext.gadget.MathJax","ext.gadget.ColiruCompiler"], null, true);
}</script>
<script src="../../../common/site_scripts.js"></script>
<script type="text/javascript">
var _gaq = _gaq || [];
_gaq.push(['_setAccount', 'UA-2828341-1']);
_gaq.push(['_setDomainName', 'cppreference.com']);
_gaq.push(['_trackPageview']);
</script><!-- Served in 5.388 secs. -->
	</body>
<!-- Cached 20200214162521 -->
</html>